翻訳と辞書 |
函数体 (スキーム論) : ウィキペディア日本語版 | 函数体 (スキーム論)[かんすうたい]
スキーム ''X'' の有理函数体の層(sheaf of rational functions) ''KX'' は、古典的な代数幾何学での代数多様体の函数体の考え方のスキーム論への一般化である。多様体の場合には、そのような層が、各々の開集合 ''U'' へ開集合上の全ての有理函数の環を関連付ける、言い換えると、''KX''(''U'') は ''U'' 上の正則函数(regular function)の分数の集合である。この「函数体」という名前にも関わらず、一般的なスキームの場合には、''KX'' は、必ずしも体であるとは限らない。
== 単純な場合 ==
最も単純な場合は、''KX'' の定義はストレートである。''X'' を(既約な)アフィン代数多様体とし、''U'' を ''X'' の開集合とすると、''KX''(''U'') は ''U'' 上の正則函数の環の商体となる。''X'' はアフィンであるから、''U'' 上の正則函数の環は、''X'' の大域切断の局所化となり、結局、''KX'' は ''X'' の大域切断の商体に値を持つとなる。
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|